(*:maxLineLen=78:*)

theory Base
imports Pure
begin
                       
ML_file \<open>../antiquote_setup.ML\<close>

end
